简体版 English
تسجيل الدخول إنشاء حساب جديد

منطق الرتبة الثانية بالانجليزي

يبدو
"منطق الرتبة الثانية" أمثلة على
الترجمة إلى الإنجليزيةجوال إصدار
  • second-order logic
أمثلة
  • Second-order logic is in turn extended by higher-order logic and type theory.
    يتم التمديد إلى منطق الرتبة الثانية عبر منطق الرتب الأعلى ونظرية النمط.
  • Second-order logic extends first-order logic by adding the latter type of quantification.
    يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.